1. .....................
پدیدآورنده: Pulver, Jeff
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Computer programs ، Internet )Computer network(,، Telephone systems,، Communications software
رده :
TK
5105
.
875
.
I57
P85
1996
2. A Decade of Concurrency Reflections and Perspectives :
پدیدآورنده: edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Operating systems (Computers),Software engineering.
3. A complete auto cad databook
پدیدآورنده: Hill, A. E.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: ، Micro computer systems software packajes: auto cad
رده :
T
385
.
H544
4. ABAP/4 Programmiertechniken :
پدیدآورنده: by Thomas Winkler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Database management.,Information systems.,Software engineering.,ABAP/4,Computer science.,Database management.,Software engineering.
5. ABIOS for IBM PS/2 computers and compatibles : the complete guide to ROM- based system software for OS/2
پدیدآورنده: Phoenix Technologies, Ltd
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، IBM Personal System/2 )Computer system(,، Systems software,، Read- only memory,، Computer input- output equipment
رده :
QA
76
.
8
.
I25963A25
1989
6. AFRICACRYPT 2019-Progress in Cryptology
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer security. ; Computer Communication Networks. ; Computer science. ; Coding theory. ; Software engineering. ; Systems and Data Security. ;
7. ASE 2000
پدیدآورنده: IEEE International Automated Software Engineering Conference (15th: 2000: Grenoble, France)
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Software engineering- Congresses►Expert systems (Computer science)- Congresses
رده :
76
.
758
.
I32
8. ASE 2000: 15e Conference International IEEE sur l'Automatisation du Genie Logiciel 11-15 September 2000, Grenoble, France = The Fifteenth IEEE Intenational Conference on Automated Software Engineering: Greoble, France, 11-15 September, 2000
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Software engineering,Congresses ، Expert systems )Computer science(
رده :
QA
76
.
758
.
I32
2000
9. ASE 2000 : 15e conference internationale IEEE sur l automatisation du genie logiciel: 11-15 September 2000, Grenoble, France
پدیدآورنده: Sponsored by: Universite Joseph Fourier ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Expert systems )Computer science(,Congresses ، Software engineering
رده :
QA
76
.
758
.
I32
2000
10. Abgründe der Informatik
پدیدآورنده: \ Alois Potton
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Software engineering,Information Systems,علوم کامپیوتر,نرم‌افزار -- مهندسی,نظام‌های اطلاع‌رسانی
رده :
E-Book
,
11. Abios for ibm ps/2 computers & compatibles:the complete guide to
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: IBM PERSONAL SYSTEM/2 )COMPUTER SYSTEM( , SYSTEMS SOFTWARE , READ-ONLY MEMORY
رده :
QA
76
.
8
.
I25963
A25
12. Abnahme komplexer Software-Systeme :
پدیدآورنده: Wolfgang Osterhage.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Computer systems.,Management information systems.,Software engineering.,BUSINESS & ECONOMICS-- Information Management.,BUSINESS & ECONOMICS-- Knowledge Capital.,Computer science.,Computer systems.,Management information systems.,Software engineering.
رده :
QA76
.
758
.
O88
2009eb
13. Abstract state machines
پدیدآورنده: Egon Borger, Robert Stork
کتابخانه: كتابخانه دانشگاه صنعتی اروميه (آذربایجان غربی)
موضوع: System design,Computer software- Development,Embedded computer systems
رده :
QA
,
76
.
9
,.
S88B66
,
2003
14. Abstract state machines
پدیدآورنده: / Egon Brger,Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: system design,Computer software -- Development,Embeded computer systems
رده :
QA
76
.
9
.
S88B66
2003
15. Abstract state machines
پدیدآورنده: / Egon Borger, Robert Stark
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA
76
.
9
.
S88B66
2003
16. Abstract state machines: a method for high-level system design and analysis
پدیدآورنده: Borger, E.)Egon(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System design,، Computer software-- Development,، Embedded computer systems
رده :
QA
76
.
9
.
S88
.
B66
2003
17. Abstract state machines : a method for high-level system design and analysis
پدیدآورنده: Borger, Egon, 1946-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: System design ► Computer software-Development ► Embedded computer systems
رده :
004
B732a
18. Abstract state machines :a method for high-level system design and analysis. [CD]
پدیدآورنده: / Egon Bغorger, Robert Stغark$7fa
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: System design,Computer software -- Development,Embedded computer systems
رده :
QA76
.
9
.
S88B66
2003
19. Action Research in Software Engineering
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Software engineering. ; Management information systems. ; Computer science. ; Software Engineering. ;
20. Adaptive and learning agent
پدیدآورنده: / Matthew E. Taylor, Karl Tuyls (eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Machine learning, Congresses,Intelligent agents (Computer software), Congresses,Self-organizing systems, Congresses,Electronic books
رده :
Q325
.
5
.
A43
,
2010eb
